On the Efficiency and Deficiency of Rees Matrix Semigroups

نویسندگان

  • C. M. CAMPBELL
  • J. D. MITCHELL
  • N. RUŠKUC
چکیده

In this paper we combine results from [1] and [3] in order to determine the relationship between the deficiency of a group G and the deficiency of a Rees matrix semigroup S over G; in particular, we investigate how the efficiency of S depends on the efficiency of G. We start by defining semigroup and group presentations. Let A be an alphabet. We denote by A the free semigroup on A consisting of all nonempty words over A, and by F (A) the free group of all freely reduced words over A ∪ A−1 (including the empty word), where A−1 is an alphabet whose elements represent the inverses of elements of A. A semigroup presentation is an ordered pair 〈 A | R 〉, where R ⊆ A × A. If both A and R are finite then we have a finite presentation. A semigroup S is said to be defined by the semigroup presentation 〈 A | R 〉 if S ∼= A/ρ , where ρ is the congruence on A generated by R. Replacing A by F (A) in the above definitions yields the notions of a group presentation and of a group defined by a presentation. For basic facts about semigroup and group presentations see any standard introductory texts on semigroups and groups, such as [6], [8] and [10]. We define the deficiency of a finite presentation P = 〈A|R〉 to be |R|−|A|. The semigroup deficiency of a finitely presented semigroup S is the minimum deficiency of any semigroup presentation P defining S: defS(S) = min{ def(P) | P is a finite semigroup presentation that defines S }. We define the group deficiency defG(G) of a finitely presented group analogously, using finite group presentations:

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Function spaces of Rees matrix semigroups

We characterize function spaces of Rees matrixsemigroups. Then we study these spaces by using the topologicaltensor product technique.

متن کامل

On certain semigroups of transformations that preserve double direction equivalence

Let TX be the full transformation semigroups on the set X. For an equivalence E on X, let TE(X) = {α ∈ TX : ∀(x, y) ∈ E ⇔ (xα, yα) ∈ E}It is known that TE(X) is a subsemigroup of TX. In this paper, we discussthe Green's *-relations, certain *-ideal and certain Rees quotient semigroup for TE(X).

متن کامل

Automatic Rees Matrix Semigroups

We consider the preservation of the properties of automaticity and prefix-automaticity in Rees matrix semigroups over semigroupoids and small categories. Some of our results are new or improve upon existing results in the single-object case of Rees matrix semigroups over semigroups.

متن کامل

On Rees Matrix Representations of Abundant Semigroups with Adequate Transversals

The concepts of ∗-relation of a (Γ-)semigroup and Γ̄-adequate transversal of a (Γ-)abundant semigroup are defined in this note. Then we develop a matrix type theory for abundant semigroups. We give some equivalent conditions of a Rees matrix semigroup being abundant and some equivalent conditions of an abundant Rees matrix semigroup having an adequate transversal. Then we obtain some Rees matrix...

متن کامل

On semigroups with PSPACE-complete subpower membership problem

Fix a finite semigroup S and let a1, . . . , ak , b be tuples in a direct power S. The subpower membership problem (SMP) for S asks whether b can be generated by a1, . . . , ak. For combinatorial Rees matrix semigroups we establish a dichotomy result: if the corresponding matrix is of a certain form, then the SMP is in P; otherwise it is NP-complete. For combinatorial Rees matrix semigroups wit...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2004